A Textual Syntax with Tool Support for the Goal-Oriented Requirement Language

نویسندگان

  • Vahdat Abdelzad
  • Daniel Amyot
  • Sanaa A. Alwidian
  • Timothy Lethbridge
چکیده

Most goal-oriented modeling languages, including i*, Tropos, KAOS and the Goal-oriented Requirement Language (GRL), offer a graphical syntax, sometimes accompanied by a textual interchange format (e.g., in XML). Graphical representations of goal models excel at supporting discussions and at visualizing analysis results. However, creating/modifying goal models is often a tedious task with current graphical environments. Textual languages are often more efficient for creating/ modifying models, in particular large ones. This paper proposes a programming-like textual syntax for GRL supported by an advanced editor for the Eclipse platform. Such syntax and editor enable modelers to create GRL models with complex features (e.g., strategies and contribution overrides) in a way that is simpler than with the most popular GRL editor, namely jUCMNav. The paper also introduces a converter from the GRL textual syntax to jUCMNav, so that models can be visualized and analyzed.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

متن کامل

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

متن کامل

A Uml Profile for Goal-oriented Modelling

A UML PROFILE FOR GOALORIENTED MODELLING The Unified Modeling Language (UML) is a standard for visual modelling. We can design abstract models by using its elements. The semantic scope of the UML elements is very broad, and they are not fully addressing the needs of some modelling domains, including the modelling of goals and non-functional requirements (NFR). To address this problem, UML allow...

متن کامل

GRAIL/KAOS: An Environment for Goal-Driven Requirements Analysis, Integration and Layout

The KAOS methodology provides a language, a method, and meta-level knowledge for goal-driven requirements elaboration. The language provides a rich ontology for capturing requirements in terms of goals, constraints, objects, actions, agents, etc. Links between requirements are represented as well to capture refinements, conflicts, operationalizations! responsibility assignments! etc. The KAOS s...

متن کامل

Conceptual Metaphoric Language Use in Structuring Political Discourse in Iran-West Relations: A CDA Perspective

The present study was carried out with the purpose of examining the role of metaphorical language in the critical discourse analysis (CDA) of political texts based on a modern framework postulated by Kövecses (2015). The corpus of the study consisted of thirty-thousand words chosen as a textual sample to see which source conceptual domains are used and what generic/discursive attributes emerge ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2015